1981. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
1982. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
1983. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
1984. Towards an arithmetical logic :
پدیدآورنده : Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
1985. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
1986. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
1987. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
1988. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
1989. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
1990. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
1991. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
1992. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
1993. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
1994. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
1995. Tractarian semantics :
پدیدآورنده : Peter Carruthers
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus,Language and languages-- Philosophy,Logic, Symbolic and mathematical
رده :
B3376
.
W563
T73226
1989
1996. Tractarian semantics :finding sense in Wittgenstein's Tractatus
پدیدآورنده : Carruthers, Peter
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T73226
1989
1997. Tractatus Logico-Philosophicus
پدیدآورنده : \ Ludwig Wittgenstein; translated by D.F. Pears and B.F. McGuinness; with an introduction by Bertrand Russell.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,Language and logic.,منطق ریاضی ,زبان و منطق
رده :
B3376
.
W56T73
2014
1998. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563T613
2001
1999. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563
T7313
1996
2000. Tractatus logico-philosophicus
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Language and languages
رده :
B
3376
.
W563T7213
